template <typename T> class A;
typedef A<int> start;
